Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
241	Journal of Functional Programming http://journals.cambridge.org/JFP Additional services for Journal of Functional Programming: Email alerts: Click here Subscriptions: Click here Commercial reprints: Click Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2013-03-29 19:34:46 Computer science Logic in computer science Programming language semantics Computability theory Formal methods Operational semantics Lambda calculus Denotational semantics Abstract interpretation Theoretical computer science Models of computation Applied mathematics
242	ZU064-05-FPR main 29 April 2011 Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-04-29 09:44:18 Theoretical computer science Curry–Howard correspondence Dynamical system Polymorphism Parametricity Type system Denotational semantics Type theory Software engineering Programming language theory
243	PhD Dissertation International Doctorate School in Information and Communication Technologies DISI - University of Trento Add to Reading List Source URL: eprints-phd.biblio.unitn.it Language: English - Date: 2012-03-26 15:30:41 Programming language semantics Theoretical computer science Functions and mappings Markov chain Scow Operational semantics Algorithm Continuous function Function Mathematics Applied mathematics Logic in computer science
244	Complete Monitors for Behavioral Contracts⋆ Christos Dimoulas, Sam Tobin-Hochstadt, and Matthias Felleisen Northeastern University, Boston, Massachusetts, USA {chrdimo,samth,matthias}@ccs.neu.edu Abstract. A behaviora Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Mathematics Logic in computer science Differential geometry Programming language semantics Algebraic geometry Field theory Valuation
245	LISP/370 Syntax and Semantics Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2012-10-08 22:42:57 Lisp programming language Functional languages Lisp Eval Programming language Language Semantics Io Primitive data type Software engineering Computing Computer programming
246	Algorithmic Game Semantics and its Applications: Final Report S. Abramsky C.-H. L. Ong 31 January 2006 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-01-14 04:37:24 Logic Game semantics Denotational semantics Formal verification Programming language International Colloquium on Automata Languages and Programming Formal methods Mathematical logic Model checking Theoretical computer science Logic in computer science Applied mathematics
247	Lecture II Data Types ● Numbers Add to Reading List Source URL: static.max99x.com Language: English - Date: 2013-11-04 01:23:47 Array data type J Tuple Exponentiation Bitwise operation Bc programming language Python syntax and semantics Computing Software engineering Computer programming
248	The Verification Grand Challenge and Abstract Interpretation Patrick Cousot École normale supérieure, 45 rue d’Ulm[removed]Paris cedex 05, France Patrick.Cousot@ ens.fr Add to Reading List Source URL: vstte.inf.ethz.ch Language: English - Date: 2005-10-02 15:59:16 Abstract interpretation Astrée Applied mathematics Computer science Formal verification Patrick Cousot Programming language Abstraction Semantics of programming languages Formal methods Theoretical computer science Logic in computer science
249	University of California Los Angeles Simplified Semantics and Debugging of Concurrent Programs via Targeted Race Detection Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2013-01-25 20:10:08 Compiler construction Programming language implementation Compiler optimizations Computer memory Compiler Memory model Common subexpression elimination C Porting Software engineering Computing Computer programming
250	2) Some prerequisites for a study of the evolution of cognition in the animal kingdom foundations Add to Reading List Source URL: crmenant.free.fr Language: English - Date: 2014-07-04 05:26:55 Programming paradigms Constraint satisfaction Linguistics Symbol grounding Logic Constraint programming Logic programming Information Meaning Philosophy of language Semantics Analytic philosophy

UPDATE